- 2 402 202 книги
- Поиск
Computers Ltd: What They Really Can't Do
Автор: David HarelКатегория: Компьютеры
Размер книги: 1.70 Mb
Algorithmik: Die Kunst des Rechnens
Автор: David Harel, Автор: Yishai Feldman
Размер книги: 28.25 Mb
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Автор: Manfred Broy, Автор: Johannes Gruenbauer, Автор: David Harel, Автор: Tony Hoare
Размер книги: 6.45 Mb
Dynamic Logic (Foundations of Computing)
Автор: David Harel, Автор: Dexter Kozen, Автор: Jerzy Tiuryn
Размер книги: 2.24 Mb
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
Автор: David Harel, Автор: Rami Marelly
Размер книги: 6.51 Mb
Modeling Reactive Systems With Statecharts : The Statemate Approach
Автор: David Harel, Автор: Michal Politi
Размер книги: 3.13 Mb
Algorithmics. Spirit of Computing
Автор: David Harel, Автор: Yishai FeldmanКатегория: Computer Science
Размер книги: 9.29 Mb
Statecharts. A Visual Formalism for Complex Systems
Автор: David HarelКатегория: Медицина
Размер книги: 1.81 Mb
Algorithmic bioprocesses
Автор: Anne Condon, Автор: David Harel, Автор: Joost N. Kok, Автор: Arto Salomaa, Автор: Erik WinfreeКатегория: Cs_Computer science, CsBi_Bioinformatics
Размер книги: 13.14 Mb
Algorithmik: Die Kunst des Rechnens (German Edition)
Автор: David Harel, Автор: Yishai Feldman, Автор: Micaela Krieger
Размер книги: 29.36 Mb
Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings
Автор: Oscar Nierstrasz, Автор: Jon Whittle, Автор: David Harel, Автор: Gianna Reggio
Размер книги: 17.51 Mb